Nyse Shutdown: Did High-Frequency Trading Play A Role